Some small updates for the Acknowledgments sections in the manual
authorGlenn Morris <rgm@gnu.org>
Fri, 9 Nov 2012 08:03:58 +0000 (00:03 -0800)
committerGlenn Morris <rgm@gnu.org>
Fri, 9 Nov 2012 08:03:58 +0000 (00:03 -0800)
commitbdd5d06fae8290c0d26c6a1b84a208b40d4ce1e3
tree71b21ab87aff39a6898edeca3af5bc992b959944
parenta82a5d87b48a8f7fb48147f4ae14393951e2eae1
Some small updates for the Acknowledgments sections in the manual

* doc/emacs/emacs.texi (Acknowledgments): Add profiler author.
* doc/emacs/ack.texi (Acknowledgments): Add some recent contributions.
doc/emacs/ChangeLog
doc/emacs/ack.texi
doc/emacs/emacs.texi